-
1 предикат выбора
Mechanics: choice predicate -
2 предикат
Синонимический ряд:сказуемого (сущ.) сказуемого -
3 предикат
Русско-английский словарь по информационным технологиям > предикат
-
4 язык предикатов
-
5 исчисление предикатов
Русско-английский новый политехнический словарь > исчисление предикатов
-
6 логика предикатов
Русско-английский словарь по информационным технологиям > логика предикатов
См. также в других словарях:
1.6.6. — 1.6.6. Предложения, отображающие ситуацию выбора Типовая семантика Человек выбирает кого , что л. из общего числа, отдавая предпочтение кому , чему л. Базовая модель СУБЪЕКТ ПРЕДИКАТ ВЫБОРА ОБЪЕКТ Основной предикат выбирать Лексический вариант… … Экспериментальный синтаксический словарь
Грамматика, разбирающая выражение — (РВ грамматика) это тип аналитической формальной грамматики, описывающей формальный язык в терминах набора правил для распознавания строк языка. Грамматика, разбирающая выражение, в сущности, представляет собой синтаксический анализатор… … Википедия
_2. Теоретическая база словаря и исходные теоретические положения — При работе над словарем мы опирались на следующие теоретические положения лексикологии и семантического синтаксиса. Первое. Идея единства лексики и грамматики. Это взаимодействие осуществляется главным образом на уровне семантических моделей… … Экспериментальный синтаксический словарь
1.6.7. — 1.6.7. Предложения, отображающие ситуацию решения Типовая семантика Человек приходит к какому л. выводу, заключению после размышления, обдумывания. Базовая модель СУБЪЕКТ ПРЕДИКАТ РЕШЕНИЯ ОБЪЕКТ Основной предикат решать Лексические варианты… … Экспериментальный синтаксический словарь
Перцептрон — Логическая схема перцептрона с тремя выходами Перцептрон, или персептрон[nb 1] (англ. perceptron от … Википедия
Персептрон — Логическая схема перцептрона с тремя выходами Перцептрон, или персептрон[nb 1] (англ. perceptron от лат. perceptio восприятие; нем. perzeptron) математическая и компьютерная модель восприятия информации мозгом (кибернетическая модель мозга),… … Википедия
1.8.2. — 1.8.2. Предложения, отображающие ситуацию общественно политической деятельности Типовая семантика Человек, группа лиц, организация занимается какой л. общественно политической деятельностью, участвует в общественно политических мероприятиях.… … Экспериментальный синтаксический словарь
МОДЕЛЕЙ ТЕОРИЯ — МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… … Философская энциклопедия
ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… … Словарь-справочник терминов нормативно-технической документации
АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия